"Kung-Kiu Lau" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Component-based software development: case studies

Kung-Kiu Lau

18.38 Mb

#2

Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

Категория: Cs_Computer science, CsLn_Lecture notes

1.48 Mb

#3

Component-Based Software Development: Case Studies (Series on Component-Based Software Development - Vol. 1)

Категория: Computer Science, Software Engineering

18.48 Mb

#4

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science)

Maurice Bruynooghe, Kung-Kiu Lau

12.00 Mb

#5

Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings

John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey

13.12 Mb

#6

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992

Kung-Kiu Lau, Timothy P. Clement

2.61 Mb

#7

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Maurice Bruynooghe, Kung-Kiu Lau

4.13 Mb

#8

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005,

Kung-Kiu Lau, Richard Banach

6.39 Mb